France 2

Results: 2246



#Item
81

A Case of Visitor versus Interpreter Pattern Mark Hills1,2 , Paul Klint1,2 , Tijs van der Storm1 , and Jurgen Vinju1,2 1 Centrum Wiskunde & Informatica, Amsterdam, The Netherlands 2 INRIA Lille Nord Europe, France

Add to Reading List

Source URL: www.cs.ecu.edu

- Date: 2015-08-27 14:56:38
    82

    The Salesman’s Improved Paths: A 3/2+1/34 Approximation Andr´as Seb˝o Optimisation Combinatoire (G-SCOP) CNRS, Univ. Grenoble Alpes Grenoble, France

    Add to Reading List

    Source URL: arvanzuijlen.people.wm.edu

    - Date: 2016-08-23 11:02:34
      83

      InThinking ESS Workshop IB DP Category 2 Paris, France Friday 17 - Sunday 19 February 2017

      Add to Reading List

      Source URL: www.e.inthinking.net

      - Date: 2016-10-25 09:29:02
        84

        A Lambda-Free Higher-Order Recursive Path Order Jasmin Christian Blanchette1,2,3 , Uwe Waldmann3 , and Daniel Wand3,4 1 Vrije Universiteit Amsterdam, the Netherlands Inria Nancy – Grand Est, Villers-lès-Nancy, France

        Add to Reading List

        Source URL: people.mpi-inf.mpg.de

        - Date: 2016-12-19 05:45:29
          85

          Program Models for Compositional Verification Marieke Huisman1 , Irem Aktug2 , and Dilian Gurov2 2 1 INRIA Sophia Antipolis, France

          Add to Reading List

          Source URL: www.nada.kth.se

          - Date: 2011-09-12 13:20:20
            86

            Congruence Closure with Free Variables Haniel Barbosa1,2 , Pascal Fontaine1? and Andrew Reynolds3 1 LORIA–INRIA, Universit´e de Lorraine, Nancy, France Universidade Federal do Rio Grande do Norte, Natal, RN, Brazil

            Add to Reading List

            Source URL: members.loria.fr

            - Date: 2016-11-08 07:49:56
              87

              Robustness in Timed Automata Patricia Bouyer1 , Nicolas Markey1 , and Ocan Sankur1,2 1 LSV – CNRS & ENS Cachan – France Universit´e Libre de Bruxelles – Belgium

              Add to Reading List

              Source URL: www.lsv.ens-cachan.fr

              - Date: 2013-09-06 05:42:30
                88

                InThinking Business Management Workshop IB DP Category 2 Paris, France Friday 17 - Sunday 19 February 2017 Workshop Leader: Dr Loykie Lominé

                Add to Reading List

                Source URL: www.e.inthinking.net

                - Date: 2016-12-13 01:28:32
                  89

                  Rewriting SELECT SPARQL queries from 1:n complex correspondences Élodie Thiéblin, Fabien Amarger, Ollivier Haemmerlé, Nathalie Hernandez, Cassia Trojahn IRIT & Université de Toulouse 2 Jean Jaurès, Toulouse, France

                  Add to Reading List

                  Source URL: disi.unitn.it

                  - Date: 2016-09-05 09:55:07
                    UPDATE